(0 17 15)(1 20 3)(2 6 4)(5 14 10)(7 16 9)(8 19 13)(11 18 12)
ALLOWS (11/8)-SEQUENCE
1: (8 13 19)
(0 17 15)(1 20 3)(2 6 4)(5 14 10)(7 16 9)(8 13 19)(11 18 12)
2: (7 16 9)
(0 17 15)(1 20 3)(2 6 4)(5 14 10)(7)(8 13 19)(9)(11 18 12)(16)
3: (8 13 19)
(0 17 15)(1 20 3)(2 6 4)(5 14 10)(7)(8)(9)(11 18 12)(13)(16)(19)
4: (0 17 15)
(0)(1 20 3)(2 6 4)(5 14 10)(7)(8)(9)(11 18 12)(13)(15)(16)(17)(19)